//-------------------------------------------------------------------------------------
function toggleSettings()
	{
	if(settingsOpen == false)
		{
		settingsOpen = true;
		settingsButton.innerHTML = "close settings";
		settingsBox.style.visibility = "visible";
		saveNotification.style.visibility = "hidden";
		GM_setValue('settingsOpen', true);
		}
	else
		{
		settingsOpen = false;
		settingsButton.innerHTML = "open settings";
		settingsBox.style.visibility = "hidden";
		saveNotification.style.visibility = "hidden";
		GM_setValue('settingsOpen', false);
		}
	}


